We show that five important elements of the ‘nomological package’— laws, counterfactuals, chances, dispositions, and counterfactuals—needn’t be a problem for the Growing-Block view. We begin with the framework given in Briggs and Forbes (in The real truth about the unreal future. Oxford studies in metaphysics. Oxford University Press, Oxford, 2012 ), and, taking laws as primitive, we show that the Growing-Block view has the resources to provide an account of possibility, and a natural semantics for non-backtracking causal counterfactuals. We show (...) how objective chances might ground a more fine-grained concept of feasibility, and furnished a places in the structure where causation and dispositions might fit. The Growing-Block view, thus understood, provides the resources to explain the close link between modality and tense, so that it predicts modal change as time passes. This account lets us capture not only what the future might hold for us, and also what might have been. (shrink)

What is it to be a woman? What is it to be a man? We start by laying out desiderata for an analysis of 'woman' and 'man': descriptively, it should link these gender categories to sex biology without reducing them to sex biology, and politically, it should help us explain and combat traditional sexism while also allowing us to make sense of the activist view that gendering should be consensual. Using a Putnam-style 'Twin Earth' example, we argue that none of (...) the existing analyses in the feminist literature succeeds in meeting all of our desiderata. Finally, we propose a positive account that we believe can satisfy all the desiderata outlined. According to our theory, the genders 'woman' and 'man' are individuated not by their contemporary connections to sex biology, but by their historical continuity with classes that were originally closely connected to sex biology. (shrink)

This paper addresses several questions related to the nature, production, and use of animal-human (a-h) chimeras. At the heart of the issue is whether certain types of a-h chimeras should be brought into existence, and, if they are, how we should treat such creatures. In our current research environment, we recognize a dichotomy between research involving nonhuman animal subjects and research involving human subjects, and the classification of a research protocol into one of these categories will trigger different ethical standards (...) as to the moral permissibility of the research in question. Are a-h chimeras entitled to the more restrictive and protective ethical standards applied to human research subjects? We elucidate an Aristotelian-Thomistic metaphysical framework in which to argue how such chimeras ought to be defined ontologically. We then examine when the creation of, and experimentation upon, certain types of a-h chimeras may be morally permissible. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

The results are interpreted in terms of a deficit in initial rule learning and subsequent generalization of these rules to new stimuli. Negative feedback is adequately processed at a neural level but this information is not used to improve behaviour on subsequent trials. As learning is degraded, the process of error detection at the moment of the actual response is diminished. Therefore, the current study demonstrates that disturbed error-monitoring processes play a central role in the often reported learning deficits in (...) individuals with PP. (shrink)

Trope theory is a leading metaphysical theory in analytic ontology. One of its classic statements is found in the work of Donald C. Williams who argued that tropes qua abstract particulars are the very alphabet of being. The concept of an abstract particular has been repeatedly attacked in the literature. Opponents and proponents of trope theory alike have levelled their criticisms at the abstractness of tropes and the associated act of abstraction. In this paper I defend the concept of a (...) trope qua abstract particular by rejecting arguments that purport to show that tropes should not be understood as abstract and by arguing that the abstractness of tropes plays an indispensable role in one of our more promising trope-theoretic analyses of universals and of concrete objects. (shrink)

The concept of instantiation is realized differently across a variety of metaphysical theories. A certain realization of the concept in a given theory depends on what roles are specified and associated with the concept and its corresponding term as well as what entities are suited to fill those roles. In this paper, the classic realization of the concept of instantiation in a one-category ontology of abstract particulars or tropes is articulated in a novel way and defended against unaddressed objections.

In the ontology of music the Aristotelian theory of musical works is the view that musical works are immanent universals. The Aristotelian theory (hereafter Musical Aristotelianism) is an attractive and serviceable hypothesis. However, it is overlooked as a genuine competitor to the more well-known theories of Musical Platonism and nominalism. Worse still, there is no detailed account in the literature of the nature of the universals that the Aristotelian identifies musical works with. In this paper, I argue that the best (...) version of Musical Aristotelianism identifies musical works with structural universals. I first motivate the view by outlining its explanatory benefits. I then argue that Musical Aristotelianism is preferable to Musical Platonism and present a novel account of musical works as structural universals by developing D. M. Armstrong’s theory of structural universals. I discuss the consequences of Musical Aristotelianism with respect to on-going issues in debates about musical works and defend the view against an influential objection, concluding that Musical Aristotelianism is a genuine competitor in debates about the nature of musical works. (shrink)

David Lewis objected to theories that posit necessary connections between distinct entities and to theories that involve a magical grasping of their primitives. In On the Plurality of Worlds, Lewis objected to nondescript ersatzism on these grounds. The literature contains several reconstructions of Lewis’ critique of nondescript ersatzism but none of these interpretations adequately address his main argument because they fail to see that Lewis’ critique is based on broader methodological considerations. I argue that a closer look at his methodology (...) reveals the broader objection he presented against nondescript ersatzism. This objection, I further argue, remains a challenge for the ersatzer who posits structure-less entities as possible worlds. (shrink)

Today, the Internet is a rich source of study materials, and Google Scholar offers free access to a large number of scientific articles. There are excellent research publications available in many more databases. Students have the option of easily copying the material. Reusing, paraphrasing, patchwriting, and ghostwriting without citing the original documents are plagiarism. Plagiarism is increasing in academics, particularly in research. This study aims to study the awareness of plagiarism and to analyze the reasons for plagiarism. The study samples (...) are the student teachers in India. For this study, we used a survey method, and the author prepared a questionnaire to collect data from the student teachers. Study respondents are the student teachers of the Regional Institute of Education Mysore; Purposive sampling was used to select samples. The total number of study respondents is 207. The findings of the study revealed that over 70 per cent of respondents mentioned reasons for plagiarism as lack of relevant literature studying, lack of preparation and time, difficulty checking every piece of work, do not know the manual citation style, lack of knowledge about bibliographic management software and also they stated that getting easily available materials on the internet is also a reason for plagiarism. The study recommends that teachers teach or conduct awareness programs on plagiarism, avoiding plagiarism, citation style, and software. (shrink)

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

The COVID-19 crisis opened up discussions on using online tools and platforms for academic work, e.g. for research (management) events that were originally designed as face-to-face interactions. As social scientists working in the domain of responsible research and innovation (RRI), we draft this paper to open up a dialogue on Responsible online Research and Innovation (RoRI), and deliberate particular socioethical opportunities and challenges of the onlineification in collaborative theoretical and empirical research. An RRI-inspired ‘going online’ approach would mean, we suggest, (...) trying to make academic events and research activities more inclusive, researchers’ attitude to their work more reflective and suggest processes that are more responsive to societal needs and ethical concerns. For such systematic reflection, we suggest using the RRI-heuristic provided by Owen et al., and applying the dimensions of ‘Anticipation, Inclusion, Reflection and Responsiveness’ (AIRR) in order to identify and reflect on the dilemmas involved in ‘going online’ in one’s research. (shrink)

In the early twentieth century, many philosophers in America thought that time should be taken seriously in one way or another. George P. Adams (1882-1961) argued that the past, present and future are all real but only the present is actual. I call this theory ‘actualist eternalism’. In this paper, I articulate his novel brand of eternalism as one piece of his metaphysical system and I explain how he argued for the view in light of the best explanations of temporal (...) experience and the present. I argue that his exploitation of analogies between time and modality offer some lessons for current debates about time such as the importance of providing a temporal epistemology. I also extract what I call the temporal boundary problem and argue that it gives rise to an unaddressed challenge for presentists and growing block theorists. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

Transoral laser microsurgery applies to the piecemeal removal of malignant tumours of the upper aerodigestive tract using the CO2 laser under the operating microscope. This method of surgery is being increasingly popularised as a single modality treatment of choice in early laryngeal cancers (T1 and T2) and occasionally in the more advanced forms of the disease (T3 and T4), predomi- nantly within the supraglottis. Thomas Kuhn, the American physicist turned philosopher and historian of science, coined the phrase ‘paradigm shift’ in (...) his groundbreaking book The Structure of Scientific Revolutions. He argued that the arrival of the new and often incompatible idea forms the core of a new paradigm, the birth of an entirely new way of thinking. This article discusses whether Steiner and col- leagues truly brought about a paradigm shift in oncological surgery. By rejecting the principle of en block resection and by replacing it with the belief that not only is it oncologically safe to cut through the substance of the tumour but in doing so one can actually achieve better results, Steiner was able to truly revolutionise the man- agement of laryngeal cancer. Even though within this article the repercussions of his insight are limited to the upper aerodigestive tract oncological surgery, his willingness to question other peoples’ dogma makes his contribution truly a genuine paradigm shift. (shrink)

In Examination of McTaggart's Philosophy, C.D. Broad advanced a distinctive ontology of things and processes. He argues that neither things nor processes are reduced to each other but instead are reduced to some further kind of entity: “absolute process.” This paper will present Broad's theory of absolute processes and argue that they are best understood as tropes by developing a version of Donald C. Williams's trope ontology. This process ontology of tropes is then defended against objections in the contemporary metaphysics (...) literature. (shrink)

In this chapter, we introduce the perennial and sometimes sprawling topic of properties, with a brief historical sketch from Ancient to Modern philosophy throughout various cultures and traditions. We argue that the importance of properties can be shown by explaining what explanatory work they can do in philosophical theorising across many areas of philosophy. The chapters in this volume do just that in their specific ways. We also outline the structure of the volume and summarise each Part, first describing the (...) larger context of each Part and then the upshot of each chapter. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

Samuel Alexander was a central figure of the new wave of realism that swept across the English-speaking world in the early twentieth century. His Space, Time, and Deity (1920a, 1920b) was taken to be the official statement of realism as a metaphysical system. But many historians of philosophy are quick to point out the idealist streak in Alexander’s thought. After all, as a student he was trained at Oxford in the late 1870s and early 1880s as British Idealism was beginning (...) to flourish. This naturally had some effect on his philosophical outlook and it is said that his early work is overtly idealist. In this paper I examine his neglected and understudied reactions to British Idealism in the 1880s. I argue that Alexander was not an idealist during this period and should not be considered as part of the British Idealist tradition, philosophically speaking. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper, I argue that whether or not large cardinal axioms count as maximality principles depends on prior commitments concerning the richness of the subset forming operation. In particular I argue that there is a conception of maximality through absoluteness, on which large cardinal axioms are restrictive. (...) I argue, however, that large cardinals are still important axioms of set theory and can play many of their usual foundational roles. (shrink)

Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.

Initial responses to questionnaires used to assess participants' understanding of informed consent for malaria vaccine trials conducted in the United States and Mali were tallied. Total scores were analyzed by age, sex, literacy (if known), and location. Ninety-two percent (92%) of answers by United States participants and 85% of answers by Malian participants were correct. Questions more likely to be answered incorrectly in Mali related to risk, and to the type of vaccine. For adult participants, independent predictors of higher scores (...) were younger age and female sex in the United States, and male sex in Mali. Scores in the United States were higher than in Mali (P = 0.005). Despite this difference participants at both sites were well informed overall. Although interpretation must be qualified because questionnaires were not intended as research tools and were not standardized among sites, these results do not support concerns about systematic low understanding among research participants in developing versus developed countries. (shrink)

One of the more obscure arguments for Rawls’ difference principle dubbed ‘the Pareto argument for inequality’ has been criticised by G. A. Cohen (1995, 2008) as being inconsistent. In this paper, we examine and clarify the Pareto argument in detail and argue (1) that justification for the Pareto principles derives from rational selfinterest and thus the Pareto principles ought to be understood as conditions of individual rationality, (2) that the Pareto argument is not inconsistent, contra Cohen, and (3) that the (...) kind of bargaining model required to arrive at the particular unequal distribution that the difference principle picks out is a model that is not based on bargaining according to one’s threat advantage. (shrink)

IPCC SPECIAL REPORT ON CLIMATE CHANGE AND LAND (SRCCL) -/- Chapter 3: Climate Change and Land: An IPCC special report on climate change, desertification, land degradation, sustainable land management, food security, and greenhouse gas fluxes in terrestrial ecosystems.

Truthmaker monism is the view that the one and only truthmaker is the world. Despite its unpopularity, this view has recently received an admirable defence by Schaffer :307–324, 2010b). Its main defect, I argue, is that it omits partial truthmakers. If we omit partial truthmakers, we lose the intimate connection between a truth and its truthmaker. I further argue that the notion of a minimal truthmaker should be the key notion that plays the role of constraining ontology and that truthmaker (...) monism is not necessary for an appropriate solution to the problem of finding truthmakers for negative truths. I conclude that we should reject truthmaker monism once and for all. (shrink)

The revival of analytic metaphysics in the latter half of the twentieth century is typically understood as a consequence of the critiques of logical positivism, Quine’s naturalization of ontology, Kripke’s Naming and Necessity, clarifications of modal notions in logic, and the theoretical exploitation of possible worlds. However, this explanation overlooks the work of metaphysicians at the height of positivism and linguisticism that affected metaphysics of the late twentieth century. Donald C. Williams is one such philosopher. In this paper I explain (...) how Williams’s fundamental ontology and philosophy of time influenced in part the early formation of David Lewis’s metaphysics. Thus, Williams played an important role in the revival of analytic metaphysics. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...) reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

A long tradition in theology holds that the divine is in some sense incomprehensible, ineffable, or indescribable. This is mirrored in the set-theoretic literature by those who hold that the universe of sets is incomprehensible, ineffable, or indescribable. In this latter field, set theorists often study reflection principles; axioms that posit indescribability properties of the universe. This paper seeks to examine a theological reflection principle, which can be used to deliver a very rich ontology. I argue that in analogy with (...) set-theoretic reflection principles, we should understand theological reflection via schematic commitment. (shrink)

In his _Being Known_ Peacocke sets himself the task of answering how we come to know about metaphysical necessities. He proposes a semantic principle-based conception consisting of, first, his Principles of Possibility which pro­vide necessary and sufficient conditions for a new concept 'admissibility', and second, characterizations of possibility and of necessity in terms of that new con­cept. I focus on one structural feature; viz. the recursive application involved in the specification of 'admissibility'. After sketching Peacocke’s proposal, I intro­duce a fictional (...) protagonist, Cautious Peacocke, whose coherence I claim shows that Peacocke s proposal cannot be made good. I conclude with the conjecture that similar failure will attend any such semantic-based attempts to ground the epistemology of metaphysical necessity. -/- Dans son livre intitulé Being Known, C. Peacocke se propose de repondre à la question de savoir comment nous en venons a connaitre des nécessités métaphysiques. Il développe une conception sémantique reposant sur des principes comprenant, d’une part, ses Principes de Possibilité — qui fournissent les conditions nécessaires et suffisantes pour un nouveau concept, « l’admissibilité » — et d’autre part des caractérisations de la possibilité et de la nécessité a l’aide de ce nouveau concept. Je me concentre sur une caractéristique structurelle, a savoir l’application récursive a l’œuvre dans la spécification de «l’admissibilité ». Apres avoir esquisse la proposition de Peacocke, j’introduis un personnage fictif, Peacocke-prudent. Je soutiens que la cohérence de ce personnage montre que la proposition de Peacocke ne peut pas être satisfaite. Je conclus en conjecturant qu’un échec similaire se présentera pour toutes les tentatives de fonder l’épistemologie de la nécessité métaphysique sur de telles bases semantiques. (shrink)

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

Abstract: Purpose - This study aimed to analyze the relationship between the determinants of organizational justice and their relationship to conscientious behavior from the point of view of officers working in the Palestinian police in Gaza Strip. Methodology - The study relied on the descriptive and analytical approach, using the questionnaire, targeting a stratified random sample of (400) officers, who hold the rank of captain and above, from the study population of 1550 officers. The study tool was distributed among the (...) sample members in all departments and governorates. Police in Gaza Strip. (353) questionnaires were retrieved, with a recovery rate of (88.3%). Findings - The existence of a positive correlation between the determinants of organizational justice and the behavior of conscience, and the existence of organizational justice in general in a medium degree and the order of its determinants is as follows: fairness of dealings and to a large degree, followed by fairness of procedures and a medium degree, and finally distribution fairness was to a small degree, while the behavior of conscience awareness came to a large extent. Significance - The existence of statistically significant differences between the respondents' averages of responding to the searched relationship due to the variables (type of administration, age group, job title, military rank, years of service). Recommendations - Work to take into account the fairness of distribution by providing adequate and fair salaries, granting bonuses for the additional efforts exerted, and budgeting in the distribution of duties and job burdens, as well as recommending attention to the interests of employees when making decisions and involving them in formulating them, explaining their justifications, and creating an organizational climate dominated by a sense of justice. (shrink)

In the middle of last century metaphysics was widely criticized, ridiculed, and committed to the flames. During this period a handful of philosophers, against several anti-metaphysical trends, defended metaphysics and articulated novel metaphysical doctrines. Donald C. Williams was one of these philosophers. But while his contributions to metaphysics are well known his defence of metaphysics is not and yet it played a key part in the development and revival of metaphysics. In this paper I present his defence of metaphysics in (...) its historical context. I also show how his defence is relevant in response to recent attacks on metaphysics. (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

David Lewis is typically interpreted as a class nominalist. One consequence of class nominalism, which he embraced, is that the reduction of ordered pairs, triples, etc to unordered sets of sets is conventional. The reaction by his Australian counterparts D.M. Armstrong and Peter Forrest was that Lewis was not being ontologically serious. This chapter evaluates this debate over serious ontology. It is argued that in one sense Lewis is ontologically serious, but that his additional commitment to structuralism about classes should (...) push him to adopt a trope-theoretic account of naturalness, which opens up another way to respond to the charge of not doing serious ontology. This conclusion is supported by certain remarks he makes in his correspondence, thus revealing how his thinking about properties appears to have evolved from property-egalitarianism to a sparse theory of tropes. (shrink)

I apply the notion of truthmaking to the topic of fundamentality by articulating a truthmaker theory of fundamentality according to which some truths are truth-grounded in certain entities while the ones that don't stand in a metaphysical-semantic relation to the truths that do. I motivate this view by critically discussing two problems with Ross Cameron's truthmaker theory of fundamentality. I then defend this view against Theodore Sider's objection that the truthmaking approach to fundamentality violates the purity constraint. Truthmaker theorists can (...) have a trouble-free theory of fundamentality. (shrink)

This chapter by Fisher continues the theme of the relation between Armstrong and Lewis, only Fisher casts the net far wider. He begins by arguing that there were at least two different lines of influence from early twentieth-century behaviourism to the identity theory: one through logical positivism and the other through ordinary language philosophy, the latter involving Place and Smart, and Lewis and Armstrong. It was Armstrong and Lewis who were to have a profound influence on subsequent developments in analytic (...) philosophy, both methodologically and in metaphysics, and it is for this reason that Fisher devotes the rest of his chapter to tracing the origins of their theories of mind and the manner in which the emphases and methodologies deployed in developing their respective theories became the hallmarks of their wider impact on analytic philosophy. (shrink)

In this paper I outline the main features of Karen Bennett’s (Australasian Journal of Philosophy 1–21, 2011) non-classical mereology, and identify its methodological costs. I argue that Bennett’s mereology cannot account for the composition of structural universals because it cannot explain the mereological difference between isomeric universals, such as being butane and being isobutane. I consider responses, which come at costs to the view.

Samuel Alexander was one of the first realists of the twentieth century to defend a theory of categories. He thought that the categories are genuinely real and grounded in the intrinsic nature of Space-Time. I present his reduction of the categories in terms of Space-Time, articulate his account of categorial structure and completeness, and offer an interpretation of what he thought the nature of the categories really were. I then argue that his theory of categories has some advantages over competing (...) theories of his day, and finally draw some important lessons that we can learn from his realist yet reductionist theory of categories. (shrink)

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

The famous Cartesian Nicolas Malebranche (1638-1715) espoused the occasionalist doctrine that ‘there is only one true cause because there is only one true God; that the nature or power of each thing is nothing but the will of God; that all natural causes are not true causes but only occasional causes’ (LO, 448, original italics). One of Malebranche’s well-known arguments for occasionalism, known as, the ‘no necessary connection’ argument (or, NNC ) stems from the principle that ‘a true cause… is (...) one such that the mind perceives a necessary connection between it and its effect’ (LO, 450). The outline of this paper is as follows. I explicitly layout NNC and articulate some of its prima facie strengths (§1). I then critically discuss, what I take to be, the two main arguments against NNC of the Lee-Pyle interpretation (§2). The main conclusion from (§2) is that Malebranche did not abandon NNC in his later works given textual evidence from the Dialogues, contrary to the Lee-Pyle interpretation. In (§3) I discuss in what ways Suárez, Leibniz, Régis and Spinoza all accepted the main premise of NNC. Then, I rebut Steven Nadler’s influential and unchallenged criticism that Malebranche conflated causal and logical necessity, and provide a more accurate interpretation of Malebranche that only commits him to a partial reduction of causal to logical necessity (§4). (shrink)

Let mathematical justification be the kind of justification obtained when a mathematician provides a proof of a theorem. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I argue that Gettier cases are possible (and indeed actual) in mathematical (...) reasoning. By analysing these cases, I suggest that the Gettier phenomenon indicates some upshots for actual mathematical practice. (shrink)